|
|
Souvislé kompaktifikace
Vaváčková, Martina ; Simon, Petr (vedoucí práce) ; Vejnar, Benjamin (oponent)
Název práce: Souvislé kompaktifikace Autor: Martina Vaváčková Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: prof. RNDr. Petr Simon, DrSc., Katedra teoretické informatiky a matematické logiky Abstrakt: Tato práce se věnuje studiu souvislých kompaktifikací vybraných Ticho- novových prostorů. Předmětem zájmu jsou především maximální prvky v relaci částečného uspořádání, definované na množině všech souvislých kompaktifikací daného prostoru. Nejprve charakterizujeme maximální souvislé kompaktifikace prostorů s konečně mnoha komponentami a zmiňujeme některé, zejména zobec- něné uspořádané prostory, které nemají žádnou souvislou kompaktifikaci. Dále se zabýváme souvislými kompaktifikacemi prostoru racionálních čísel. Popisujeme konstrukci kompaktifikace tohoto prostoru analogickou ke konstrukci Čechovy- Stoneovy kompaktifikace a ukazujeme nutnou a postačující podmínku souvislosti a maximality takové kompaktifikace. Klíčová slova: souvislý prostor, kompaktní prostor, konektifikace, kompaktifikace
|
|
| |
|
|
Struktura černoděrových prostoročasů
Haláček, Jakub
V předložené práci studujeme převzatá řešení kompaktikačních metod na Schwarzschildově protoročase a rozebíráme jejich vlastnosti a analytic- kou strukturu. Dále zavádíme metodu konstrukce souřadnic založenou na analy- tických požadavcích kladených na výslednou metriku. Tento postup aplikujeme a diskutujeme na Schwarzschildově prostoročase. Dále jej užijeme ke kompakti- kaci ReissnerovaNordströmova prostoročasu a diskutujeme analytické pokrytí tohoto prostoročasu. V neposlední řadě ukazujeme metodu založenou na teorii diferenciálních rovnic k ověření analytické struktury metrických koecient· na I ± .
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
|
Absolute and non-absolute F-Borel spaces
Kovařík, Vojtěch ; Kalenda, Ondřej (vedoucí práce)
Zabýváme se F-borelovskou složitostí topologických prostorů a tím, jak se tato složitost liší v závislosti na tom, kam je daný topologický prostor vnořen. Obzvláště nás pak zajímá, kdy je tato složitost absolutní, tj. stejná ve všech kompaktifikacích. Ukazujeme, že složitost metrizovatelných prostorů je abso- lutní. Dále odvozujeme postačující podmínku pro to, aby byl prostor absolutně Fσδ. Studujeme vztah lokální a globální složitosti a závádíme různé reprezentace F-borelovských množin. Tyto nástroje používáme k důkazu několika různých výsledků, zejména pak k získání hierarchie prostorů, jejichž složitost je neabso- lutní. 1
|
|
|
Absolute and non-absolute F-Borel spaces
Kovařík, Vojtěch ; Kalenda, Ondřej (vedoucí práce) ; Matheron, Ethienne (oponent) ; Holický, Petr (oponent)
Zabýváme se F-borelovskou složitostí topologických prostorů a tím, jak se tato složitost liší v závislosti na tom, kam je daný topologický prostor vnořen. Obzvláště nás pak zajímá, kdy je tato složitost absolutní, tj. stejná ve všech kompaktifikacích. Ukazujeme, že složitost metrizovatelných prostorů je abso- lutní. Dále odvozujeme postačující podmínku pro to, aby byl prostor absolutně Fσδ. Studujeme vztah lokální a globální složitosti a závádíme různé reprezentace F-borelovských množin. Tyto nástroje používáme k důkazu několika různých výsledků, zejména pak k získání hierarchie prostorů, jejichž složitost je neabso- lutní. 1
|
|
|
Absolute and non-absolute F-Borel spaces
Kovařík, Vojtěch ; Kalenda, Ondřej (vedoucí práce)
Zabýváme se F-borelovskou složitostí topologických prostorů a tím, jak se tato složitost liší v závislosti na tom, kam je daný topologický prostor vnořen. Obzvláště nás pak zajímá, kdy je tato složitost absolutní, tj. stejná ve všech kompaktifikacích. Ukazujeme, že složitost metrizovatelných prostorů je abso- lutní. Dále odvozujeme postačující podmínku pro to, aby byl prostor absolutně Fσδ. Studujeme vztah lokální a globální složitosti a závádíme různé reprezentace F-borelovských množin. Tyto nástroje používáme k důkazu několika různých výsledků, zejména pak k získání hierarchie prostorů, jejichž složitost je neabso- lutní. 1
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
| |
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Fiala, Jiří (oponent)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
host ::
RSS.